I was there (PV) during that time, about 800 total students and it didn't seem overcrowded to me? We also were not allowed to wear shorts and days were never shortened for heat.

Unless they have classrooms that they no longer use for some reason there is plenty of space.